Procedural programming - PDFSEARCH.IO - Document Search Engine

Procedural programming
Results: 6438

#	Item
121	Implementing a Generic Radix Trie in Rust Michael Sproul University of California, Santa Cruz University of Sydney Introduction Add to Reading List Source URL: michaelsproul.github.io Language: English - Date: 2015-03-30 20:03:55 Data types Procedural programming languages Functional programming Concurrent programming languages Functional languages Trie Rust Radix tree Associative array Pointer Go Immutable object
122	Introduction to the Guardol Programming Language and Verification System David Hardin∗ Konrad Slind∗ Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Logic in computer science Formal methods Procedural programming languages Constraint programming Satisfiability modulo theories Parameter Formal verification Scheme Logic programming ALGOL 68 Decompiler Standard ML
123	cs281: Introduction to Computer Systems Project Lab 1: The Datalab Assigned: Sept. 4, Due: Sept Add to Reading List Source URL: personal.denison.edu Language: English - Date: 2015-11-10 08:26:31 C Procedural programming languages Data types Source code C++ classes Bit field ALGOL 68 Include directive Struct Tar
124	1 RUST MEETUP COLOGNE – FEB 2016 – PASCAL HERTLEIF RUST WITH CONFIDENCE Add to Reading List Source URL: rustaceans.cologne Language: English - Date: 2016-08-17 10:30:30 Concurrent programming languages Procedural programming languages Mozilla Rust Go Subroutine Cargo Pascal Block
125	PLACES 2013 Programming Language Approaches to Communication- and Concurrency-cEntric Software (6th International Workshop) An ETAPS Satellite Event Add to Reading List Source URL: places13.di.fc.ul.pt Language: English - Date: 2014-02-12 06:01:38 Data types Procedural programming languages Software design patterns Data management Transaction processing Schedule Type system Const D ALGOL 68 Monad
126	Synchronous Multiparty Session Types Andi Bejleri Nobuko Yoshida Imperial College London Aim of this work Add to Reading List Source URL: places08.di.fc.ul.pt Language: English - Date: 2011-01-31 06:33:44 Subroutines C++ Data types Procedural programming languages C++ classes Const ALGOL 68 Recursion Channel Parameter
127	Research in Computer Science Code Formatting for TinyOS in Eclipse Jianyuan Li Advisor Benjamin Sigg Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:58 Source code Cross-platform software Procedural programming languages Indent style Programming style TinyOS C D Bracket Line wrap and word wrap Prettyprint Off-side rule
128	A New Concurrency Model for Scala Based on a Declarative Dataflow Core Sébastien Doeraene Peter Van Roy Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Concurrent programming languages Functional languages Programming paradigms Functional programming Procedural programming languages Oz Futures and promises Scala Monad Concurrent computing Logic programming Actor model
129	Reflections on Standard ML David B. MacQueen AT&T Bell Laboratories Murray Hill NJAbstract. Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for Add to Reading List Source URL: sml-family.org Language: English - Date: 2016-04-04 09:33:37 Functional languages Procedural programming languages Object-oriented programming languages Data types Source code ML Lisp Programming language Macro Type safety Anonymous function HOL
130	A Sufficiently Smart Compiler for Procedural Records Andrew W. Keep R. Kent Dybvig Cisco Systems, Inc. and Indiana University Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-08 07:07:59 Object-oriented programming languages Functional languages Object-oriented programming Method Mutator method Immutable object Class Property Scheme Objective-C Common Lisp Constructor

UPDATE